COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	rp[w81,jmc]		Notes on a reasoning program
C00005 ENDMK
C⊗;
rp[w81,jmc]		Notes on a reasoning program
advice[w81,jmc]			notes on the advice taker paper
airpor[w81,jmc]		the axiomatics of going to the airport
airpor.ax[w81,jmc]	axioms for going to the airport
approx[w81,jmc]		approximate and ambiguous concepts
circum.mor[w81,jmc]	More applications of circumscription
circum.sli[w81,jmc]	slides for circumscription lecture
closed[w81,jmc]			closed world assumption, going down, etc.
commun[w81,jmc]		practical and theoretical arguments against communism
compre[w81,jmc]		comprehensive problem about binomial co-efficient
			program and its correctness proof
cs226[w81,jmc]		notes for the class
format[w81,jmc]		Principles of text formatting languages like TEX, PUB, SCRIBE
frame.ax[w81,jmc]	axioms for frames using assignment
ideas[w81,jmc]		random ideas of winter '81
konoli[w81,jmc]		comments on Konolige's paper
know[w81,jmc]		original jmc knowledge axioms and version in FOL
langua[w81,jmc]		epistemological approach to natural language
mathsc[w81,jmc]		proposal for modifying the mathematical sciences major
modal[w81,jmc]		denigrating modal logic
draft.ax[w81,jmc]		drafts of possibly useful axioms
nonmon[w81,jmc]		notes for lecture to logic seminar 1981 feb 2
passwo[w81,jmc]			passwords for equipment
prev.lsp[w81,jmc]	in place reverse of a list
questi[w81,jmc]			questionnaire about review of questionnaires
rawls[w81,jmc]			notes on Rawls's "A Theory of Justice"
sciadv[w81,jmc]		Scientific Advice for the Reagan Administration
se2[w81,jmc]		notes for SE2 business
space[w81,jmc]			ideas for Pournelle space conference
space.tex[w81,jmc]		Handout for Pournelle space conference
space.2[w81,jmc]		Comments on llw draft of transportation technology